1

A review of TRIZ, and its benefits and challenges in practice

Year:
2013
Language:
english
File:
PDF, 505 KB
english, 2013
10

On the Additive Complexity of Matrix Multiplication

Year:
1976
Language:
english
File:
PDF, 1.80 MB
english, 1976
19

High-level testing and example-directed development of software specifications

Year:
1984
Language:
english
File:
PDF, 1.08 MB
english, 1984
20

Step-wise validation of communication protocols and services

Year:
1986
Language:
english
File:
PDF, 1.39 MB
english, 1986
21

Validation-directed specification of communications systems

Year:
1995
Language:
english
File:
PDF, 1.08 MB
english, 1995
23

Protocol quality engineering: addressing industry concerns about formal methods

Year:
1996
Language:
english
File:
PDF, 1.25 MB
english, 1996
26

Improving time-to-market using SDL tools and techniques

Year:
2001
Language:
english
File:
PDF, 1.58 MB
english, 2001
32

Commutativity, non-commutativity, and bilinearity

Year:
1976
Language:
english
File:
PDF, 624 KB
english, 1976
33

New microalgae for the Pacific oyster Crassostrea gigas larvae

Year:
2006
Language:
english
File:
PDF, 226 KB
english, 2006
36

Technology management tools: concept, development and application

Year:
2006
Language:
english
File:
PDF, 128 KB
english, 2006
37

An Extension of Computational Duality to Sequences of Bilinear Computations

Year:
1978
Language:
english
File:
PDF, 1013 KB
english, 1978
42

Exploring industry dynamics and interactions

Year:
2013
Language:
english
File:
PDF, 933 KB
english, 2013
43

Towards risk-aware roadmapping: Influencing factors and practical measures

Year:
2014
Language:
english
File:
PDF, 592 KB
english, 2014